منابع مشابه
Tannakian Approach to Linear Differential Algebraic Groups
Tannaka’s theorem states that a linear algebraic group G is determined by the category of finite-dimensional G-modules and the forgetful functor. We extend this result to linear differential algebraic groups by introducing a category corresponding to their representations and show how this category determines such a group.
متن کاملA Linear Algebraic Approach in Teaching Interpolation
A novel approach for teaching interpolation in the introductory course in numerical analysis is presented. The interpolation problem is viewed as a problem in linear algebra, whence the various forms of the interpolating polynomial are seen as different choices of a basis to the subspace of polynomials of the corresponding degree. This approach enables the instructor to relate this topic to the...
متن کاملA linear algebraic approach to datalog evaluation
In this paper, we propose a fundamentally new approach to Datalog evaluation. Given a linear Datalog program DB written using N constants and binary predicates, we first translate if-and-only-if completions of clauses in DB into a set Eq(DB) of matrix equations with a non-linear operation where relations in MDB, the least Herbrand model of DB, are encoded as adjacency matrices. We then translat...
متن کاملDifferential-Algebraic Approach to Linear Programming
This paper presents a differential-algebraic approach for solving linear programming problems. The paper shows that the differential-algebraic approach is guaranteed to generate optimal solutions to linear programming problems with a superexponential convergence rate. The paper also shows that the path-following interior-point methods for solving linear programming problems can be viewed as a s...
متن کاملA Linear Algebraic Approach to Metering Schemes
A metering scheme is a method by which an audit agency is able to measure the interaction between servers and clients during a certain number of time frames. Naor and Pinkas 21] proposed metering schemes where any server is able to compute a proof, i.e., a value to be shown to the audit agency at the end of each time frame, if and only if it has been visited by a number of clients larger than o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SIAM Journal on Control and Optimization
سال: 1978
ISSN: 0363-0129,1095-7138
DOI: 10.1137/0316007